Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
851	Need for Fuzzy Control Mamdani Approach toLogical (More RecentBoth ApproachesMamdani Approach Add to Reading List Source URL: www.cs.utep.edu Language: English - Date: 2011-05-22 00:10:38 Mathematics Fuzzy control system Defuzzification Fuzzy set Function Fuzzy logic Logic Mathematical logic
852	Inductive Logic The shaky foundation of everything we know. Quick History of induction • Unappreciated in Ancient Times Add to Reading List Source URL: www.philshoney.com Language: English - Date: 2014-09-05 13:58:28 Knowledge Inductive reasoning Arguments Problem solving Epistemology Deductive reasoning Enumerative induction Mathematical induction Reason Logic Reasoning Science
853	Binding Logi : proofs and models Gilles Dowek1 , Therese Hardin2 , and Claude Kir hner3 1 3 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:50 Metalogic Model theory Predicate logic Structure Free variables and bound variables FO Arity Mathematics Universal algebra Mathematical logic
854	The Premiss-Based Approach to Judgment Aggregation Franz Dietrich & Philippe Mongin December 2007 Abstract We investigate judgment aggregation by assuming that some formulas of the Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2008-01-31 05:56:33 Model theory Propositional calculus Semantics Order theory Boolean algebra Interpretation Filter Logic Mathematical logic Mathematics
855	Polarized Resolution Modulo Gilles Dowek ´ Ecole polytechnique and INRIA ´ Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:45 Proof theory Automated theorem proving Rules of inference Resolution Unification Sequent calculus Function Admissible rule Cut-elimination theorem Mathematical logic Logic Mathematics
856	BRICS Basic Research in Computer Science BRICS RSAceto et al.: 2-Nested Simulation is not Finitely Equationally Axiomatizable 2-Nested Simulation is not Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-09-06 03:22:49 Applied mathematics Mathematical logic Order theory Logic in computer science Metalogic Model theory Equational logic Simulation preorder Preorder Mathematics Logic Theoretical computer science
857	An Abstract Completion Procedure for Cut Elimination in Deduction Modulo LICS 2006 Guillaume Burel + Claude Kirchner ´ LORIA × (Ecole Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:29:08 Mathematics Cut-elimination theorem Sequent calculus Sequent Gerhard Gentzen Natural deduction Proof theory Mathematical logic Logic
858	Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:44 Model theory Formal methods Propositional calculus Predicate logic Function Lambda calculus Forcing Well-formed formula Atomic formula Logic Mathematical logic Mathematics
859	Embedding Deduction Modulo into a Prover Guillaume Burel Max Planck Institute for Informatics Saarland University Saarbr¨ ucken, Germany Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:07 Automated theorem proving Deduction Propositional calculus Rules of inference Sequent calculus Entailment Cut-elimination theorem Resolution Natural deduction Logic Mathematical logic Proof theory
860	Instructional Activities to Observe Kindergartners’ Mathematics Skills Illustrative Mathematics can be found at http://www.illustrativemathematics.org. The number to the left refers to the objective and dimension that Add to Reading List Source URL: k12.wa.us Language: English - Date: 2014-11-04 18:40:44 Counting Mathematical logic Numeral Addition 0 3 Number Mathematics Elementary arithmetic Numeral systems